搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书 - 暨南大学图书馆

大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 Colloquium on Hardware Design Techniques (1980) 的图书(共5501本)

	Exploration of Gas Hydrates [electronic resource] : Geophysical Techniques 0 索取号：作者：Rajput、 Sanjeev.、Thakur、 Naresh Kumar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Design Thinking [electronic resource] : Understand 鈥ɭprove 鈥pply 0 索取号：作者：Meinel、 Christoph.、Leifer、 Larry.、Plattner、 Hasso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures 0 索取号：作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Analysis and Design of Univariate Subdivision Schemes [electronic resource] 0 索取号：作者：Sabin、 Malcolm.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Handbook on Decision Making [electronic resource] : Vol 1: Techniques and Applications 0 索取号：作者：Jain、 Lakhmi C.、Lim、 Chee Peng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings 0 索取号：作者：Al-Begain、 Khalid.、Fiems、 Dieter.、Knottenbelt、 William J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Geospatial Techniques in Urban Planning [electronic resource] 0 索取号：作者：Shen、 Zhenjiang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings 0 索取号：作者：Lodi、 Andrea.、Milano、 Michela.、Toth、 Paolo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 0 索取号：作者：Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. 0 索取号：作者：Winter、 Robert.、Zhao、 J. Leon.、Aier、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Handbook for Heat Exchangers and Tube Banks design [electronic resource] 0 索取号：作者：Annaratone、 Donatello.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Structural Information and Communication Complexity [electronic resource] : 17th International Colloquium, SIROCCO 2010, 艦irince, Turkey, June 7-11, 2010. Proceedings 0 索取号：作者：Patt-Shamir、 Boaz.、Ekim、 T谋naz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Moving Objects Management [electronic resource] : Models, Techniques and Applications 0 索取号：作者：Meng、 Xiaofeng.、Chen、 Jidong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

	Exploration of Gas Hydrates [electronic resource] : Geophysical Techniques 0 索取号：作者：Rajput、 Sanjeev.、Thakur、 Naresh Kumar.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part I 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Automata, Languages and Programming [electronic resource] : 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 0 索取号：作者：Abramsky、 Samson.、Gavoille、 Cyril.、Kirchner、 Claude.、Meyer auf der Heide、 Friedhelm.、Spirakis、 Paul G.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Computational Intelligence for Knowledge-Based Systems Design [electronic resource] : 13th International Conference on Information Processing and Management of Uncertainty, IPMU 2010, Dortmund, Germany, June 28 - July 2, 2010. Proceedings 0 索取号：作者：H眉llermeier、 Eyke.、Kruse、 Rudolf.、Hoffmann、 Frank.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Design Thinking [electronic resource] : Understand 鈥ɭprove 鈥pply 0 索取号：作者：Meinel、 Christoph.、Leifer、 Larry.、Plattner、 Hasso.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2011.		Formal Methods for Quantitative Aspects of Programming Languages [electronic resource] : 10th International School on Formal Methods for the Design of Computer, Communication and Software Systems, SFM 2010, Bertinoro, Italy, June 21-26, 2010, Advanced Lectures 0 索取号：作者：Aldini、 Alessandro.、Bernardo、 Marco.、Pierro、 Alessandra.、Wiklicky、 Herbert.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Analysis and Design of Univariate Subdivision Schemes [electronic resource] 0 索取号：作者：Sabin、 Malcolm.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Handbook on Decision Making [electronic resource] : Vol 1: Techniques and Applications 0 索取号：作者：Jain、 Lakhmi C.、Lim、 Chee Peng.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Analytical and Stochastic Modeling Techniques and Applications [electronic resource] : 17th International Conference, ASMTA 2010, Cardiff, UK, June 14-16, 2010. Proceedings 0 索取号：作者：Al-Begain、 Khalid.、Fiems、 Dieter.、Knottenbelt、 William J.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Geospatial Techniques in Urban Planning [electronic resource] 0 索取号：作者：Shen、 Zhenjiang.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.
	Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems [electronic resource] : 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings 0 索取号：作者：Lodi、 Andrea.、Milano、 Michela.、Toth、 Paolo.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Formal Techniques for Distributed Systems [electronic resource] : Joint 12th IFIP WG 6.1 International Conference, FMOODS 2010 and 30th IFIP WG 6.1 International Conference, FORTE 2010, Amsterdam, The Netherlands, June 7-9, 2010. Proceedings 0 索取号：作者：Hatcliff、 John.、Zucca、 Elena.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Global Perspectives on Design Science Research [electronic resource] : 5th International Conference, DESRIST 2010, St. Gallen, Switzerland, June 4-5, 2010. Proceedings. 0 索取号：作者：Winter、 Robert.、Zhao、 J. Leon.、Aier、 Stephan.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Handbook for Heat Exchangers and Tube Banks design [electronic resource] 0 索取号：作者：Annaratone、 Donatello.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
	Structural Information and Communication Complexity [electronic resource] : 17th International Colloquium, SIROCCO 2010, 艦irince, Turkey, June 7-11, 2010. Proceedings 0 索取号：作者：Patt-Shamir、 Boaz.、Ekim、 T谋naz.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.		Moving Objects Management [electronic resource] : Models, Techniques and Applications 0 索取号：作者：Meng、 Xiaofeng.、Chen、 Jidong.、SpringerLink (Online service)、出版社：Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.